121. Expert system applications in chemistry :
پدیدآورنده : Bruce A. Hohne, editor, Thomas H. Pierce, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Data processing, Congresses.,Expert systems (Computer science), Congresses.
رده :
QD39
.
3
.
E46
E96
1989
122. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
TS
156
.
8
.
F32
1974
123. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده : Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
124. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
125. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
126. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
127. Foundations of computer aided process operations: Proceedings of the first International Conference on Foundations of Computer Aided Process Operations, Park City, Utah, July 5-10, 1987
پدیدآورنده : editors, G.V. Reklaitis, H.D. Spriggs
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Process control
رده :
TS
156
.
8
.
I567
1987
128. Foundations of computer aided process operations : proceedings of the First International Conference on Foundations of Computer Aided Process Operations, Park City, Utah, July 5-10, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Process control-- Data processing-- Congresses
رده :
TS
156
.
8
.
I567
1987
130. Hardware and software for real time process control :proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hard for Real Time Process Control, Warsaw, Poland, 30 M ay-1 June, 1988
پدیدآورنده : edited by Janusz Zalewski, Wolfgang Ehrenberger
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Process control--Data processing--Congresses,Real-time control--Congresses
رده :
TS
،
156
.
8
،.
I35
،
1988
131. Hardware and software for real time process control : proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw, Poland, 30 May- 1 June, 1988
پدیدآورنده : IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control )8891 : Warsaw, Poland(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Process control- Data processing- Congresses,، Real- time control- Congresses
132. Health information science :
پدیدآورنده : Siuly Siuly, Ickjai Lee, Zhisheng Huang, Rui Zhou, Hua Wang, Wei Xiang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Medical informatics, Congresses.,Medical records-- Access control, Congresses.,Medical records-- Data processing, Congresses.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Desktop publishing.,Health & safety aspects of IT.,Image processing.,Information retrieval.,Medical-- General.,Medical informatics.,Medical records-- Access control.,Medical records-- Data processing.,Natural language & machine translation.
رده :
R858
.
A2
H57
2018eb
133. Heat Treating :
پدیدآورنده : edited by Daniel Herring, Robert Hill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Induction hardening -- Congresses.,Induction heating -- Congresses.,Metals -- Heat treatment -- Congresses.
134. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
135. Human error, safety and systems development :
پدیدآورنده : edited by Chris W. Johnson, Philippe Palanque.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Accidents-- Human factors, Congresses.,Industrial safety-- Technological innovations, Congresses.,Industrial safety, Congresses.,Industrial safety.,TECHNOLOGY & ENGINEERING-- Industrial Health & Safety.
رده :
T55
.
A1
I39
2004eb
136. ICRRM 2019 -- system reliability, quality control, safety, maintenance and management :
پدیدآورنده : editors, Vinit Kumar Gunjan, Sri Niwas Singh, Tran Duc-Tan, Gloria Jeanette Rincon Aponte and Amit Kumar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering-- Management, Congresses.,Reliability (Engineering), Congresses.,Engineering-- Management.,Reliability (Engineering),TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA169
137. IFAC/IFIP International Conference on Digital Computer Applications to Process Control, 4th, Zurich, Switzerland, March 19-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Process control-- Congresses,، Control theory-- Congresses
رده :
TS
156
.
8
.
I3
139. Includes bibliographical references and index. 0
پدیدآورنده : / Kecia Ali & Oliver Leaman.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
140. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
